Formalizing Design Spaces: Implicit Invocation Mechanisms

نویسندگان

  • David Garlan
  • David Notkin
چکیده

ly, a~l implicit invocation mechanism can be modelled as a collection of components, each of which has an interface that specifies a set of methods and a set of events. As is traditionally the case, the methods define operations that other components can explicitly invoke. The events, however, define actions that the component promises to announce to other components in the system. The implicit invocation mechanism must also provide a way to associate events with methods that are to be invoked when those events are announced. We now formalize these ideas in three steps using the Z specification language. First, we define the state space of the basic model. Next we define an abstract run-time model that explains how events are announced and handled by an implicit invocation system. Finally, we show how the model can be used to define existing systems, additionally illustrating how it allows us to reason about relationships between some of these systems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Object-Oriented Event Calculus

Despite the rising popularity and usefulness of events, or implicit invocation, in software design, the availability of general-purpose event mechanisms are rare. Further, most event mechanisms available for software design are implemented as libraries or sets of macros that are constrained by the language in which they are used; making such mechanisms inconvenient to use as well as error-prone...

متن کامل

Towards a Formal Treatment of Implicit Invocation

Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...

متن کامل

A Type-and-Effect System for Shared Memory, Concurrent Implicit Invocation Systems

Driven by the need to utilize multicore platforms, recent language designs aim to bring the concurrency advantages of events in distributed publishsubscribe systems to sequential OO programs that utilize the implicit invocation (II) design style. These proposals face two challenges. First, unlike the publishsubscribe paradigm where publisher and subscriber typically do not share state, communic...

متن کامل

The Event Notification Pattern - Integrating Implicit Invocation with Object-Orientation

Managing inter-object dependencies in object-oriented systems is a complex task. Changes of one object often require dependent objects to change accordingly. Making every object explicitly inform every dependent object about its state changes intertwines object interfaces and implementations, thereby hampering system evolution and maintenance. These problems can be overcome by introducing the n...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991